$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$, $k$:$\mathbb{N}$. ($k$ $\leq$ ($a$ $\div$ $n$)) $\Leftarrow\!\Rightarrow$ (($k$ $\ast$ $n$) $\leq$ $a$)